# `true` will close all PRs.
filters:
  - true

# The message to post to the closed PR.
commentBody: |
  Thanks for your contribution!  Unfortunately, we don't use GitHub pull
  requests to manage code contributions to this repository.  Instead, please
  see https://v8.dev/docs/contribute which provides full instructions on
  how to get involved.

# Whether to add a label to the closed PR.
addLabel: false
